🔍 Linux BPF - hello · Scour

The 185-Microsecond Type Hint

blog.sturdystatistics.com·3h·

Discuss: Hacker News, r/programming

goffi: Zero-CGO Foreign Function Interface for Go — How We Call C Libraries Without a C Compiler

dev.to·16h·

Discuss: DEV

The tale of a single register value

blog.cloudflare.com·8h

📊Linux Perf Events

supertestnet/URSF-110: A POC app for using bitcoind's "invalidateblock" command to reject BIP110

github.com·2h

Securing RISC-V Third-Party IP: Enabling Comprehensive CWE-Based Assurance Across the Design Supply Chain

semiwiki.com·7h

🔐Capability Systems

vermaden.wordpress.com·8h

The ongoing quest for atomic buffered writes

lwn.net

·2h

🚧Memory Barriers

Show HN: Pinhead – Adding 2FA to Your CLI (Linux, FreeBSD, OpenBSD, NetBSD)

news.ycombinator.com·1h·

Discuss: Hacker News

underlap.org·1d

Høiland-Jørgensen: The inner workings of TCP zero-copy

lwn.net

·5h

The Architecture Behind Open-Source LLMs

blog.bytebytego.com·8h

Docker Scout vs Traditional Container Scanners: Why Context Beats CVE Noise

hackernoon.com·17h

Code Less, Ship Faster: Building APIs with FastAPI

towardsdatascience.com·4h

Release v2026.3.0: Smarter prepare, task-backed hooks, and per-task vars

github.com·14h

Rust coreutils with Sylvestre Ledru

opensourcesecurity.io·1d

🐧Rust for Linux

Best Practices for Secure Error Handling in Go

blog.jetbrains.com·14h

🛡️Error Handling

Hardware hotplug events on Linux, the gory details

arcanenibble.github.io·2d·

Discuss: Lobsters, Hacker News, r/programming

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·8h

✓Formal Verification

Bridging the Semantic Gap in Neural Network Execution and Verification for Safety-Critical Systems

dev.to·5h·

Discuss: DEV

Loading more...